proof regular